/FONT#1=BASL30/FONT#2=BASB30/FONT#3=NGR25/FONT#4=NGR20
␈↓↓␈↓α␈↓β␈↓∧␈↓α␈↓ ¬→STANFORD UNIVERSITY␈↓ ↓H
␈↓β␈↓ ¬_STANFORD, CALIFORNIA 94305␈↓ ↓H
␈↓∧COMPUTER SCIENCE DEPARTMENT␈↓ 
+   Telephone:␈↓ ↓H
␈↓ 
+415-497-4971␈↓ ↓H
␈↓↓␈↓ ελAug 4, 1975␈↓ ↓H
␈↓ ↓H
Dr. H. E. Pike, Systems Dept.␈↓ ↓H
Data Disc Inc␈↓ ↓H
686 W. Maude␈↓ ↓H
Sunnyvale, Ca. 94086␈↓ ↓H
␈↓ ↓H
Dear Dr. Pike:␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓HI␈α⊂am␈α⊂responding␈α⊂to␈α⊂your␈α⊂ad␈α⊂in␈α∂the␈α∂sunday␈α∂Examiner␈α∂concerning␈α∂the␈α∂development␈α∂of␈α∂interactive␈↓ ↓H
␈↓ ↓Hon-line␈αsystems.␈αI␈αhave␈αworked␈αwith␈αsophisticated␈αon-line␈αsystems␈αfor␈αmost␈αof␈αthe␈αlast␈αten␈αyears.␈αI␈α
am␈↓ ↓H
␈↓ ↓Hcurrently␈αcompleting␈αa␈αbook␈αdealing␈αwith␈αabstract␈αprogramming␈αand␈αdata␈αstructures␈αand␈αone␈αof␈αmy␈↓ ↓H
␈↓ ↓Hcurrent␈α∃research␈α∀interests␈α∀is␈α∀to␈α∀develop␈α∀an␈α∀interactive␈α∀programming␈α∀environment␈α∀to␈α∀reinforce␈↓ ↓H
␈↓ ↓Habstraction␈α
and␈α
structuring␈α
in␈α
the␈α
programming␈α
process.␈α
It␈α
seems␈α
to␈αme␈αthat␈αwe␈αhave␈αa␈αreasonably␈↓ ↓H
␈↓ ↓Hlarge␈αset␈αof␈αcommon␈αinterests.␈αI␈αam␈αtherefore␈αenclosing␈αa␈αreasonably␈αcomplete␈αbiography,␈αthe␈αsalient␈↓ ↓H
␈↓ ↓Hfeatures␈α
of␈α
which␈α
are␈α
expertise␈α
in␈α
at␈α
least␈α
the␈α
following␈α
areas:␈↓ ↓H
␈↓ ↓H
␈↓ ↓HLanguage␈αdesign␈αand␈αtranslator␈αwriting:␈αThis␈αis␈αbased␈αon␈αmany␈αyears␈αexperience␈αas␈αa␈αprogrammer,␈↓ ↓H
␈↓ ↓Hseveral␈α
years␈α
teaching␈α
translator␈α
writing,␈α
language␈α
implementation,␈α
and␈α
research␈α
in␈αspecification␈αof␈↓ ↓H
␈↓ ↓Hlanguages␈α∂and␈α∂data␈α∂structures,␈α∂and␈α∂finally␈α∂the␈α∂writing␈α∂of␈α∂a␈α∂book␈α∂on␈α∂LISP,␈α∂language␈α∂design,␈α∂and␈↓ ↓H
␈↓ ↓Himplementation␈α
(to␈α
be␈α
published␈α
in␈α
the␈α
McGraw-Hill␈α
series␈α
on␈α
computer␈α
science).␈↓ ↓H
␈↓ ↓H
␈↓ ↓HSystems␈α∂programming:␈α∂Many␈α∂years␈α∂experience␈α∂in␈α∞the␈α∞design,␈α∞implementation,␈α∞and␈α∞maintenance␈α∞of␈↓ ↓H
␈↓ ↓Hoperating␈α
systems␈α
and␈α
time-sharing␈α
systems.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HDisplay-based␈α↔and␈α↔interactive␈α↔programming:␈α↔Based␈α↔on␈α↔the␈α↔design␈α↔and␈α↔use␈α↔of␈α↔sophisticated␈↓ ↓H
␈↓ ↓Hdisplay-based␈αtime␈αsharing␈αsystems,␈αand␈αon␈αrecent␈αresearch␈αinto␈αinteractive␈αprogramming␈αas␈αa␈α
means␈↓ ↓H
␈↓ ↓Hfor␈α
controlling␈α
complexity␈α
and␈α
maintaining␈α
correctness␈α
in␈α
the␈α
construction␈α
on␈α
complex␈α
programs.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HTheory␈α
-␈α
mathematical␈α
semantics,␈α
theorem␈α
proving,␈α
verification,␈αand␈αautomatic␈αprogramming:␈αThis␈↓ ↓H
␈↓ ↓Hincorporates␈αseveral␈αyears␈αresearch␈αin␈αthe␈αpractical␈αas␈αwell␈αas␈αtheoretical␈αaspects␈αof␈αtheorem␈αproving␈↓ ↓H
␈↓ ↓Has␈α⊃a␈α⊃technique␈α⊃to␈α⊃attack␈α⊃problems␈α⊃in␈α⊃computer␈α⊃science␈α⊃as␈α⊃well␈α⊃as␈α⊃mathematics.␈α⊂Recent␈α⊂work␈α⊂in␈↓ ↓H
␈↓ ↓Hattempting␈α∂to␈α∂understand␈α∂how␈α∂to␈α∂construct␈α∂correct␈α∂programs␈α∂has␈α∂involved␈α∂study␈α∂of␈α∂contemporary␈↓ ↓H
␈↓ ↓Hverification␈α
techniques␈α
as␈α
well␈α
as␈α
study␈α
of␈α
mathematical␈α
models␈α
for␈α
programming␈α
languages.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HComputer␈α∪science␈α∪education␈α∪and␈α∪CAI:␈α∪One␈α∪of␈α∪the␈α∪reasons␈α∪for␈α∪careful␈α∪study␈α∪of␈α∪programming␈↓ ↓H
␈↓ ↓Hlanguages␈α⊂and␈α⊂methodology␈α⊂is␈α⊂to␈α⊂improve␈α⊂on␈α⊂the␈α⊂way␈α⊂people␈α⊂approach␈α∂the␈α∂problems␈α∂of␈α∂writing␈↓ ↓H
␈↓ ↓Hprograms.␈α⊂My␈α⊂book␈α⊂reflects␈α⊂many␈α⊂of␈α⊂my␈α⊂thoughts␈α⊂on␈α∂how␈α∂to␈α∂design␈α∂correct␈α∂and␈α∂understandable␈↓ ↓H
␈↓ ↓Hprograms.␈α
What␈α
is␈α
also␈α
needed␈α
are␈α
the␈α
computer-based␈α
tools␈α
to␈α
reinforce␈α
good␈α
pedagogy.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HIf␈α
you␈α
would␈α
like␈α
to␈α
talk␈α
further␈α
please␈α
contact␈α
me.␈↓ ↓H
␈↓ εW
␈↓ εW
Yours sincerely,␈↓ εW
␈↓ εW
␈↓ εW
␈↓ εW
John R. Allen␈↓ εW
Research Associate␈↓ εW
Computer Science Dept␈↓ εW
Artificial Intelligence Lab␈↓ εW
␈↓ εW
␈↓ ↓H